A Process Algebraic Approach to Software Architecture Design
by Alessandro Aldini,Marco Bernardo,Flavio Corradini
ISBN 13: 9781848002227
Format: Hardcover (322 pages) Publisher: Springer Published: 27 Nov 2009
Save for later
Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software ... 3185 (Lecture Notes in Computer Science)
by Marco Bernardo,Flavio Corradini
ISBN 13: 9783540230687
Format: Paperback (304 pages) Publisher: Springer Published: 13 Jun 2008
ISBN 13: 9781447157663
Format: Paperback (320 pages) Publisher: Springer Published: 20 Oct 2014